Capturing an application's temporal properties with UML for Real-Time
نویسندگان
چکیده
The Unified Modeling Language (UML) is commonly used in the development of non-real-time systems and is gaining popularity in the object-oriented real-time community as well. Recently, Rational Software Corporation teamed with ObjecTime, Ltd to develop UML for Real-Time (UML-RT). UML-RT uses the extensibility mechanisms of UML to incorporate concepts from ROOM (Real-time Object-Oriented Modeling language) and Role modeling from ObjecTime. We present a novel method for capturing the temporal parameters of a real-time application in a UML-RT model so that schedulability analysis can be
منابع مشابه
Component-based HazOp and Fault Tree Analysis in Developing Embedded Real-Time Systems with UML
Hazard and Operability (HazOp) and Fault Tree Analyses (FTA) are embedded into UML component models. The latter are constructed by employing UML's extension mechanisms in conjunction with component-based software techniques. Taking an application's safety-related requirements into consideration, the elements of HazOp and FTA are defined as component attributes, and assigned to a UML component m...
متن کاملVerification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams and statecharts. Real-time aspects of behaviors can be described by time constraints. The semantics of the UML, however, is non-formal. In order to enable formal design verification, we therefore propose to complement th...
متن کاملUML and the Tasks Specific to Real-Time Development
The use of UML for developing real-time systems is rapidly gaining attention from the industry. The future release of a response to the OMG RFP for a “UML profile for performance, scheduling and time” [1] will probably boost the acceptance of UML by the real-time development community. The team formed inside OMG’s Real-Time Analysis and Design working group, preparing the response to the above ...
متن کاملTime Properties Dedicated Semantics for UML-MARTE Safety Critical Real-Time System Verification
Critical real-time embedded systems (RTES) crucially have strong requirement concerning system’s reliability. UML and its profile MARTE are standardized modeling language that are getting widely accepted by industrial designers to cope with the development of complex RTSE. In Model-driven engineering, verification at early phases of the system lifecycle is an important problem, which remains op...
متن کاملSpecification and Formal Verification of Temporal Properties of Production Automation Systems
This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000